Search Results

Robust communications are crucial for autonomous military fleets. Ground vehicles function as mobile local area networks utilizing Controller Area Network (CAN) backbones. Fleet coordination between autonomous platforms relies on the Robot Operating System (ROS) publish/subscribe robotic middleware for effective operation. To bridge communications between the CAN and ROS network segments, the CAN2ROS bridge software supports bidirectional data flow with message mapping and node translation. Fuzzing, a software testing technique, involves injecting randomized data inputs into the target system. This method plays a pivotal role in identifying vulnerabilities. It has proven effective in discovering vulnerabilities in online systems, such as the integrated CAN/ROS system. In our study, we consider ROS implementing zero-trust access control policies, running on a Gazebo test-bed connected to a CAN bus.

Semiconductor devices in electric vehicle (EV) motor drive systems are considered the most fragile components with a high occurrence rate for open circuit fault (OCF). Various signal-based and model-based methods with explicit mathematical models have been previously published for OCF diagnosis. However, this proposed work presents a model-free machine learning (ML) approach for a single-switch OCF detection and localization (DaL) for a two-level, three-phase inverter. Compared to already available ML models with complex feature extraction methods in the literature, a new and simple way to extract OCF feature data with sufficient classification accuracy is proposed. In this regard, the inherent property of active thermal management (ATM) based model predictive control (MPC) to quantify the conduction losses for each semiconductor device in a power converter is integrated with an ML network.

Tradespace exploration (TSE) describes the activity occurring early in the design process through which stakeholders explore a broad solution space in search of more-optimal alternatives. In doing so, these stakeholders attempt to maximize the utility inherent in the chosen solution while understanding the tradeoffs and compromises that may be required to find an acceptable solution. In the field of vehicle design, tradespaces are often comprised of vast amounts of alternatives which increases the complexity of the decision-making process. Additionally, the number of stakeholders has grown, as decision-makers seek to include more variety in both perspectives and expertise. As such, decision-making stakeholders can often find themselves working at odds and attempting to maximize vastly different objectives in the process. One way to rectify these contrasting viewpoints can be to intentionally introduce a group framing prior to the start of decision making.

Formal verification plays an important role in proving the safety of autonomous vehicles (AV). It is crucial to find errors in the AV system model to ensure safety critical features are not compromised. Model checking is a formal verification method which checks if the finite state machine (FSM) model meets system requirements. These requirements can be expressed as linear Temporal logic (LTL) formulae to describe a sequence of states with linear Temporal properties to be satisfied. NuSMV is a dedicated software for performing model checking based on Temporal logic formulae on FSM models. However, NuSMV does not provide model-based design. On the other hand, Stateflow in MATLAB/SIMULINK is a powerful tool for designing the model and offers an interactive Graphical User Interface (GUI) for the user/verifier but is not as efficient as NuSMV in model checking.

In military applications, diesel engines are required to achieve high power outputs and therefore must operate at high loads. This high load operation leads to high piston component temperatures and heat rejection rates limiting the packaged power density of the powertrain. To help predict and understand these constraints, as well as their effects on performance, a thermodynamic engine model coupled to a finite element heat conduction solver is proposed and validated in this work. The finite element solver is used to calculate crank angle resolved, spatially averaged piston temperatures from in-cylinder heat transfer calculations. The calculated piston temperatures refine the heat transfer predictions as well requiring iteration between the thermodynamic model and finite element solver.